Build an Interface Setp by Step
نویسنده
چکیده
There is an increasing demand for software that matches real user needs in a working environment. Human being always had de necessity to increase their knowledge about the world changes and evolution. Nowadays, new technologies allow him to make dreams came truth This paper describes the development process focused on the user, describing the many phases to follow to meeting user needs, and to promote quality in use.
منابع مشابه
An Optimized Transmission Power Control Method for Pulsed BeiDou Pseudolite Signals
This paper presents an optimized transmission power control moethod for BeiDou pseudolites (BPLs) signals. Because of the near-far problem, the signal coverage probability of the conventional power transmission control method is nearly 50 percent at 95 dBm. Any further increase in transmission power only results in a decrease in the probability. In order to mitigate the near-far problem, a dyna...
متن کاملAn Interactive Metatool for Exploring Program Algebras
We describe how an existing tool is extended to allow exploratory reasoning in program algebras with theorem proving support The existing tool Tk WinHOL and the Re nement Calculator provides a graphical user interface to the window inference reasoning system for the HOL theorem prover We show how a user with a small amount of work can build an extension to this tool which can then be used to bu...
متن کاملThe Stochastic Eulerian Tour Problem
This paper defines the Stochastic Eulerian Tour Problem (SETP) and investigates several characteristics of this problem. Given an undirected Eulerian graph , a subset =) of the edges in E that require service, and a probability distribution for the number of edges in R that have to be visited in any given instance of the graph, the SETP seeks an a priori Eulerian tour of minimum expected length...
متن کاملAutomated Random Testing to Detect Specification-Code Inconsistencies
An interface specification language such as JML provides a means to document precisely the behavior of program modules such as Java classes, and it is being adopted by industry. However, few practical tools exist for programmers to assure the correctness of their interface specifications. Nonetheless, the correctness of an interface specification is a prerequisite for the use of the specificati...
متن کاملClimate Change and Drought Events in the Geochemical Records of the Lacustrine Deposits in the Southeastern Tibetan Plateau
Lacustrine deposits at the margin of the southeastern Tibetan Plateau (SETP) are sensitive indicators for the evolution of the southwest Asian monsoon (SWAM) during the Quaternary. Thus, they can provide insight into the Quaternary climatic history and their relationship with global climatic changes. The results of the geochemical analysis of the Xiaozhongdian Basin section at the SETP suggest ...
متن کامل